An Abstract Simple Group of Order 25920

The Simple Group of Order 2520

An Incoherent Simple Group

Proposition 1. (Grunewald [5, Proposition B]) Let F be a free group of rank k ≥ 2, generated by {s1, . . . , sk}. Let r1, . . . , rm be words over {s1, . . . , sk} ±1 and R their normal closure 〈〈r1, . . . , rm〉〉F in F . Let H be the group with presentation 〈s1, . . . , sk | r1, . . . , rm〉 and φ the canonical epimorphism φ : F → H ∼= F/R. Let F be a free group of rank k generated by {t1, . . ....

AUTOMORPHISM GROUP OF GROUPS OF ORDER pqr

H"{o}lder in 1893 characterized all groups of order $pqr$ where  $p>q>r$ are prime numbers. In this paper,  by using new presentations of these groups, we compute their full automorphism group.

Programming Research Group an Implementation of Higher-order Rewriting (extended Abstract)

The Simple Group of Order 168 and K3 Surfaces

The aim of this note is to characterize a K3 surface of Klein-Mukai type in terms of its symmetry.